Termium: System Description

The Termium termbank: today and tomorrow

System Description: Mscott System Description: Mscott

MScott (Multi-SCOTT) is a general purpose rst order theorem prover based on McCune's Otter and having the same functionality as Otter. Like its predecessor Scott, it uses a model generator to nd small models of subsets of the clauses generated during proof search. MScott diiers from Scott in that it generates and uses several models simultaneously. This not only improves its coverage of the use...

Fine-grained domain classification of text using TERMIUM Plus

In this article, we present the use of a term bank for text classification purposes. We developed a supervised text classification approach which takes advantage of the domain-based structure of a term bank, namely TERMIUM Plus, as well as its bilingual content. The goal of the text classification task is to correctly identify the appropriate fine-grained domains of short segments of text in bo...

FaCT++ Description Logic Reasoner: System Description

This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such as absorption and model merging) and newly d...

Físchlár @ Trec2003: System Description

In this paper we give an outline of the Físchlár system developed to enable participation in the interactive searching task within TRECVID 2003. TRECVID is an annual benchmarking exercise which measures the effectiveness of various video information retrieval tasks, including interactive retrieval. The accompanying video provides a usage scenario for our TRECVID2003 system which contains a seri...